On Mobility and Communication

نویسندگان

  • Wenjie Du
  • Yuxin Deng
چکیده

By imposing three semantic constraints on the π-calculus equipped with delayed input, we obtain a variant of the π-calculus. We prove that Hennessy and Riely’s distributed π-calculus can be encoded into this new model, satisfying a full abstraction theorem, which means that one-dimensional mobility can be characterized by communication. We also discuss the difficulties of expressing two-dimensional mobility, the mechanism used by ambient calculi.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Understanding Temporal Human Mobility Patterns in a City by Mobile Cellular Data Mining, Case Study: Tehran City

Recent studies have shown that urban complex behaviors like human mobility should be examined by newer and smarter methods. The ubiquitous use of mobile phones and other smart communication devices helps us use a bigger amount of data that can be browsed by the hours of the day, the days of the week, geographic area, meteorological conditions, and so on. In this article, mobile cellular data mi...

متن کامل

Vehicular Networks: A Survey on Architecture, Communication Technologies and Applications

The Intelligent Transportation System (ITS) provides wireless and mobile communication between vehicles and infrastructure to improve the safety of transportation and make the journey more enjoyable. This system consists of many fixed and mobile nodes (Vehicles, Trains, Vessels, Air planes), Wireless and Wired Telecommunication Technologies to exchange information between mobile nodes or betwee...

متن کامل

The Health Mobility Is All True Mobility?; Comment on “Regional Incentives and Patient Cross-border Mobility: Evidence From the Italian Experience”

In their study, Brenna and Spandonaro analyzed the mobility into Italian regions. In particular, it analyzes the situation of 5 regions, with very different backgrounds. With this paper, we try to better define the meaning of health mobility and to find its underlying causes. Furthermore, we propose a strategy that could help in controlling mobility flows that currently are the source of health...

متن کامل

Improving Quality of Service Routing in Mobile Ad Hoc Networks Using OLSR

Mobile ad hoc networks (MANET) are constructed by mobile nodes without access point. Since MANET has certain constraints, including power shortages, an unstable wireless environment and node mobility, more power-efficient and reliable routing protocols are needed. The OLSR protocol is an optimization of the classical link state algorithm. OLSR introduces an interesting concept, the multipoint r...

متن کامل

Interregional Patient Mobility in the Italian NHS: A Case of Badly-Managed Decentralization; Comment on “Regional Incentives and Patient Cross-Border Mobility: Evidence From the Italian Experience”

The article by Brenna and Spandonaro on interregional mobility for acute hospital care in Italy raises important issues concerning social and territorial equity in a healthcare system. Based on Regions and private providers’ strategic behavior, the hypothesis adopted to explain patient cross-border mobility (CBM), demonstrated by statistical analysis, may be further explored using qualitative m...

متن کامل

A NEW BIOLOGICAL SCREENING SYSTEM FOR LOCAL ANAESTHETICS BY INHIBITION MOBILITY OF TETRAHYMENA PYRIFORMIS

An alternative in vitro approach to drug screening has been the use of human cell cultures for antiviral agents and microbial cell cultures for the assessment of the carcinogenic potential of selected compounds. A number of protozoan species have been also used as drug screens for anti-protozoal agents. The ciliated protozoan Tetrahymena pyriformis species has been widely utilised as a dru...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 257  شماره 

صفحات  -

تاریخ انتشار 2009